Add converse and its dependencies