\node at (E) {$\therefore B \notin s$};