Adding functional spec for R1