30. Mathematical statements