user7312567 replies on comments by VasRimskii