TLC Automatic Point Verifier