Law of trivality