Universal conditional statements in informal English are quite often implied rather than specific. Rewrite the following statements formally.

1. Any student with a GPA of better than 3.5 must study a lot.
   
   
2. If a polygon has 3 sides, it must be a triangle.
   
   
3. All real numbers are positive when squared.
   
   
4. A girl has got to be crazy to date that guy.