I remember some new math "A implies B" . But I still don't see the pun. Please spell it out.