#739: #726: rub elimination

opened by thuchacz