implemented R-1, to be tested