Notation for `exists`
Working on ||bool|| = interval