Every relative restriction denies the possibility of any third property.Qasr (Restriction): Types, Contexts and Four Methods