Iota can be omitted.