making some progres in rel definition