Process:
	H
States:
	2
Transitions:
	H = Q0,
	Q0	= (supplyH -> Q0
		  |consumeH -> Q1),
	Q1	= (consumeH -> ERROR
		  |supplyH -> Q0).
