dodawanie weryfikowalności do stosu