Abstraction vs insertion in O(1D)+H2→OH+H | Synapse