Proved that the operational implies the labelled.

YAAAAAHAAAAAAAA!