Roman Leventov comments on Some Summaries of Agent Foundations Work