Homework for acl2 | ScratchStats