new derivations start in the correct state