For 2.9, instead of forAll you could use !t.exists(! ...)