Mathematics belongs to God. -- Donald E. Knuth