../../Task/Quine/ACL2