R Solovay Editor