for i being Nat holds [{},i] in Vars