Unicorns and proof