Fixed circular logic, and backwards arguments.