トイレから出たら扉を閉めろ、という指示は、トイレの中に居る時のドアの状態に対しては未定義なんですヨ