binop is done!