Reason cannot break out of its own loop.