Process:
	D
States:
	2
Transitions:
	D = Q0,
	Q0	= (supplyD -> Q0
		  |consumeD -> Q1),
	Q1	= (consumeD -> ERROR
		  |supplyD -> Q0).
