../../Task/Pangram-checker/ACL2