A formula that represents itself in its own graph