F.5+Indirect+Proof