comments on binexpr