Make sure to resolve rhs