Can this be a biconditional statement and still be true? : “If a polygon is a square, then it has four sides.”