I'm the case that prevents the use of iff... you can read this I fixed the specification.