../../Task/Substring-Top-and-tail/ACL2