proper relations defined