the informal name of the following classical logical proof: the grass is always greener on the other side; one has a right to green grass; therefore the grass on the other side is mine—since the mid 1960s the proof is rhetorically shortened to that grass is mine.