Fix theorem uses `fold' name which is undefined