 …the idea of a right-lined triangle necessarily carries with it an equality of its angles to two right ones. Nor can we conceive this relation, this connexion of these two ideas, to be possibly mutable, or to depend on any arbitrary Power, which of choice made it thus, or could make it otherwise. (Essay IV.iii.29, pp. 559–560)