I think it's either assert, or both `-and` and `-or` return `@NO` for empty tuples.