added the division relation