proofing logic test