Implemented Option.iff