Roman Leventov comments on My research agenda in agent foundations