"The formula is a general-purpose method of decoding a bitmap stored in the constant k, and it could actually be used to draw any other image."
That makes it less of a self-referential formula in my opinion, and more of a cool formula that can print any bitmap.
Now, if the formula was also capable of drawing the constant k, THAT would be exciting.