first degree entailment, symmetry and paradox