loop equivalence, postfix operator equivalence