../../Task/Loops-Foreach/ACL2