proof by abstract nonsense