eliminate P (unknown + unknown)