../../Task/Playing-cards/ACL2