nitg&i: handle new `implies` operator