you might want to use lhs and rhs instead of `other`, but its not mandatory