where r must satisfy