Expressive Iteration Legality