backward rationalization