graph{m:h{x:m t:S}t:S}