door aspect of gate, 7 assertions