\def\innprow#1#2#3#4{
    \hbox to 1.5in{
		\picw=0.3in\inspic{time#1.png}%
        \hskip 0.1in plus 0.1in%
		#2:%
        \hskip 0.1in plus 0.1in%
		\vbox{
			\hbox to 1in{#3}\nl
            \hbox to 1in{#4}}}
    \vskip 0.5em}

\midinsert
\hbox to \hsize{{\leftskip=0pt plus1fil\rightskip=0pt plus1fil
	\hbox to 0.2in{\rotbox{90}{{\typoscale[800/] Successive bands represent the vague outer ring at successive times as it fades in toward the small bright light.}}}%
%
  \hskip 0.2in%
  \vbox{\picw=1.3in\inspic{innperseqs.png}\vskip 0.1em%
  \hbox to 1.5in{\typoscale[900/] small bright light \par}}
%
 \vbox{\leftskip=0pt \typoscale[900/]
 \dq{Sentences} at\vskip 1em

	\innprow{1}{$time_1$}{$a_1 a_2 a_3 a_4 a_5 a_6 a_7 b$}{$a_1,a_2 \rightarrow\ b$}

	\innprow{2}{$time_2$}{$a_2 a_3 a_4 a_5 a_6 a_7 b c$}{$a_3 \rightarrow\ c$}

	\innprow{3}{$time_3$}{$a_4 a_5 a_6 a_7 b c d$}{$a_4,a_5 \rightarrow\ d$}

	\innprow{4}{$time_4$}{$a_6 a_7 b c d e$}{$a_6,b \rightarrow\ e$}

	\innprow{5}{$time_5$}{$a_7 b c d e f$}{$a_7,c \rightarrow\ f$}

	\innprow{6}{$time_6$}{$c d e f g$}{$d,e \rightarrow\ g$}

	\vskip 2em

\dq{Axioms} \nl
	\hskip 1em $a_1 a_2 a_3 a_4 a_5 a_6 a_7$ 

	\vskip 2em

Innperseq \nl
$(a_3,a_2,a_1)$ \nl
$(b,a_3)$ \nl
$(c,a_5,a_4)$ \nl
$(d,b,a_6)$ \nl
$(e,c,a_7)$ \nl
$(f,e,d)$ \nl
$(g)$ 
	\par}}}
	\cskip
	\caption/f[innperdiag] Example instance of \sysname{Innperseqs.}
\endinsert