stm.lhs