acl2.2.52