../../Task/Compound-data-type/ACL2