BOUNDED_LIVE(0) = Q0,
	Q0	= ([0].{arriveInduction, arrivePicking, arriveReplenish, arriveShipping}[0..1] -> Q0
		  |[0].move.{e, n, s, w} -> Q1),
	Q1	= ([0].{arriveInduction, arrivePicking, arriveReplenish, arriveShipping}[0..1] -> Q0
		  |[0].move.{e, n, s, w} -> Q2),
	Q2	= ([0].{arriveInduction, arrivePicking, arriveReplenish, arriveShipping}[0..1] -> Q0
		  |[0].move.{e, n, s, w} -> Q3),
	Q3	= ([0].move.{e, n, s, w} -> ERROR
		  |[0].{arriveInduction, arrivePicking, arriveReplenish, arriveShipping}[0..1] -> Q0).
