[not_kurt_godel]

Ah my apologies, I forgot to cite my source, which is the devil (just a coincidence it's the same as yours).