let stable_derivation = false