minor spacing
Proved that original semantics implies labelled one.

YEEEEEAH!