Implications are strewn throughout mathematics (see Formal Logic), even if not obviously: Given the Pythagorean Theorem, a2+b2=c2, we realize it can not be a statement, as it contains uncaptured/unquantified free variables, but if we quantify that a and b are the legs of a right triangle, with hypotenuse c, we now have a statement.
Implications are strewn throughout mathematics (see Formal Logic), even if not obviously: Given the Pythagorean Theorem, a2+b2=c2, we realize it can not be a statement, as it contains uncaptured/unquantified free variables, but if we quantify that a and b are the legs of a right triangle, with hypotenuse c, we now have a statement.