Removed cong and some related properties.