hence the frequency in Euclid of negative, indirect and reductio arguments, which serve to keep geometry under thedomination of the principle of identity and prevent it from becoming a geometry of sufficient reason).