LVC semantics