Statement 1: If n is any prime number > 2, then n+1 is even. Statement 2: For all prime numbers p, if p>2, then p is even. The above two statements seam equivalent, but have different converses, etc. converse 1: If n+1 is even, then n is a prime number > 2. converse 2: For all prime numbers p, if p+1 is even, then p > 2. If you have a statement that begins with if, is it illegal to write as a for all?