simplify implementation of BinaryRule