../../Task/Logical-operations/ACL2