x \notin O_y