user6877189 replies on comments by VasRimskii