slightly more precise [Prover.mk_meet]