big R is recursive