Removed con(Rd)