A doctrine that entails the identity of formally distinct properties is more costly to coherence tha...