Types of mathematical statement