Fixing process for generation/assertion.