logic-ops.ijs: fixed duplicate *: to be *., tweaked comments