pseudo-resolution