renamed example to lhs