We define a function f’:P(M)->M such that f’(A) is a meme simultaneously making fun of all memes in the set A.

We extend F transfinitely by defining F(l) where l is a limit ordinal to be f’(A) where A is the union of F(a) for a < l.