Finished writing down relation R1