Wave functions constructed from an invariant sum over histories satisfy constraints.