syndir.ijs: 'converse'->'inverse'