changed hardcoded identity predicate = to macro \eq[][]