English translation of #139