Updating puzzler proposal #33 with clearer val names