Input (grade 3): Let X = "to make something that its maker can not lift".
Output (grade 6): If He can make such a mountain, there is something which He can not do: He can not lift the mountain,