Fix func of - and + about the converse