spec for lhs