premise: trade in an old car for a new one
hypothesis: a specific type of trade is mathematics department (or department of mathematics), defined as 'the academic department responsible for teaching and research in mathematics' .