design aspect of space heater, 1 assertions