Definition of "assumes"