atomic: 2nd order only works via multple 1st order reverse