Upon completing a surjection f:X -> Y from X to Y, says X to Y, "I think I've come upon something." Says Y to X, "Something must have come upon me."