there are several non governmental organisations in sanski most the first four pairs of axioms constitute a definition of a bounded lattice gelato and ice cream are different