propagation for S2E