Analysis: Invariants: deleted not necessary parameters.