adution in converse

.