TRIVIAL adding Arnon's open_everywhere