checked propagator/trotter, seems ok...