English loop invariant: tłumaczenie na inne języki