A brief meditation on formal systems and lying goblins