Definition of "presupposes"