logic proofing