What product(s) are expected from the following arrow-pushing formalism?