Added complement_of_converse.