[math-fun] The Santayana Corollaries