Binary operation RE abstracted