Rewrote the introduction to mathematical statements.