Anchor Acclaim Base & Transporting Case AN-ACL2-BASE