A programmer is sent to the grocery store with instructions to "buy butter and see whether they have eggs, if they do, then buy 10." Returning with 10 butters, the programmer says, "they had eggs."