no \@ with lhs;  will fix later