Что такое локальное рассуждение? как это относится к ссылочной прозрачности, рациональному мышлению и лени?