Do we really need `real' self-references, if we have things like quines? Or do you think quines are part of the magic? (Like Goedel's theorems are?)