Ответ J. Klop на повторное письмо об одношаговой стратегии

После повторного отправления спустя месяц вопроса о корректности построения одношаговой стратегии для "Micro Lambda Calculus", профессор Jan Willem Klop ответил следующим образом:

( Ответ )

Возможно, Vincent van Oostrom окажет помощь в разрешении данного вопроса.