door aspect of elevator, 34 assertions