check_RHS