English translation of #259