digraph G
{
	label="eyefloss 2006.02.19";
	labelloc=t;
	fontsize=16;
	ranksep=0;
	size="8,10";
	compound=true;

	subgraph cluster0
	{
		subgraph cluster00
		{
			z00	[style=invis,label=""];
		
			label="room[n+1]";
		}
		subgraph cluster01
		{
			head0		[shape=polygon,sides=4,skew=.4,label="_ _\no0\n\n/  ~  / "];
			thorax0		[label="thorax"];
			extremity00	[label="extremity[0]"];
			extremity01	[label="extremity[1]"];

			head0 -> thorax0;
			thorax0 -> extremity00;
			thorax0 -> extremity01;

			label="room[n]";
		}
		subgraph cluster02
		{
			z02	[style=invis,label=""];
		
			label="room[n-1]";
		}
		
		{rank=same; z00 -> head0 -> z02	[dir=back];}


		label="I am standing in a room;";
	}

	head0 -> head1 [style=bold,color="#c0c0c0"];

	subgraph cluster1
	{
		head1		[shape=polygon,sides=4,skew=.4,label="_ _\no0\n\n/  ~  / "];

		subgraph cluster10
		{
			head10		[shape=polygon,sides=4,skew=-.4,label="_ _\n0o\n\n \\  ~  \\",fontsize=12,margin="0.1,0.0"];
			
			label="";
		}
		

		label="in the lookingglass I discover\nthat I am similar to others.";
	}

	head1 -> head2 [style=bold,color="#c0c0c0"];

	subgraph cluster2
	{
		head2		[shape=polygon,sides=4,skew=.4,label="_ _\no0\n\n/  ~  / "];

		subgraph cluster20
		{
			other20		[shape=trapezium,label=":^)"];

			subgraph cluster200
			{
				other200		[shape=trapezium,label="(^:",fontsize=12,margin="0.0,0.0"];

				label="";
			}
			
			label="other[n]"
		}

		label="This is the door\nthrough which\nI enter and exit,";
	}
	
	head2 -> head3 [style=bold,color="#c0c0c0"];

	subgraph cluster3
	{
		subgraph cluster30
		{
			z30	[style=invis,label=""];
			z31	[style=invis,label=""];

			z30 -> z31;
			z31 -> z30;
		
			label="| room[n+1] |  >  0";
		}
		subgraph cluster31
		{
			head3		[shape=polygon,sides=4,skew=.4,label="_ _\no0\n\n/  ~  / "];
			thorax3		[label="thorax"];
			extremity30	[label="extremity[0]"];
			extremity31	[label="extremity[1]"];

			head3 -> thorax3	[minlen=2];
			thorax3 -> extremity30;
			thorax3 -> extremity31;

			label="| room[n] |  =  0";
		}
		subgraph cluster32
		{
			z32	[style=invis,label=""];
			z33	[style=invis,label=""];
			
			z32 -> z33;
			z33 -> z32;
		
			label="| room[n-1] |  >  0";
		}
		
		{rank=same; z30; head3; z32;}
	
	
		label="and I am standing\nin this empty room.";
	}
}