was using "covers" which is *implies*, when should have been using
"overlap" which is *exists state that satisfies both*