OK thanks - implied intersection isn't something I had come across before