Better definition of trivial conditions