Δ, a difference of state between two before and after state schemas