redundant declarations
different views of locked/unlocked door
minor improvements
put in order definitions