Roman Leventov comments on Active Inference as a formalisation of instrumental convergence