Let's say we are given:

a0,b0,main[] ,,((c0,d0,b1),f,[(a1,c1),f]).

We can see from the index which variables have the same name but under a different block. Bear in mind that all variables here are new instances. So we can omit variables with previous index:

main[] (b1,f,[(a1,c1),f]).

In this way we can follow the output of a₀,a₁,b₀,b₁,c₀,c₁ and study the scope behaviour.

By comparison, we could be given a₀,b₀,main[] ,,((c₀,d₀,b₁),f,[(a₁,c₀),f]) and main[] (b₁,f,[a₁,f]).

References

• http://static.scribd.com/docs/7frgxnt1j75ao.swf?INITIAL_VIEW=width, pages 2,3.