expressive iteration legality