Вторая кнопка почему то не дешифровывает

using System;
using System.Collections.Generic;
using System.Drawing;
using System.Windows.Forms;
using System.Text;
using System.IO;
using System.Linq;
 
 
namespace SHIFRATOR
{
    /// <summary>
    /// Description of MainForm.
    /// </summary>
    public partial class MainForm : Form
    {
        int prov, count=1;
        public MainForm()
        {
            InitializeComponent();
            label1.Hide();
            label2.Hide();
        }
 
        void ОткрытьToolStripMenuItemClick(object sender, EventArgs e)
        {
            
        }
        void TXTToolStripMenuItemClick(object sender, EventArgs e)
        {
        
            OpenFileDialog o = new OpenFileDialog();
            o.Filter = "txt files (*.txt)|*.txt";
            if (o.ShowDialog() == DialogResult.OK)
            {
                richTextBox1.Text = File.ReadAllText(o.FileName, Encoding.Default);
            }
        }
        void RTFToolStripMenuItemClick(object sender, EventArgs e)
        {
            OpenFileDialog o = new OpenFileDialog();
            o.CheckFileExists = true;
            o.CheckPathExists = true;
            o.Title = "Выберите файл";
            o.Filter = "rtf files (*.rtf)|*.rtf";
            
        if (o.ShowDialog() == System.Windows.Forms.DialogResult.OK)
        {
        string filename = o.FileName;
        this.richTextBox1.LoadFile(o.FileName);
        }
        
        }
        
        private void Timer_Tick(object sender, EventArgs e)
            {
                label1.Hide();
                label2.Hide();
                timer1.Stop();
            }
            
        void НетНужногоФорматаToolStripMenuItemClick(object sender, EventArgs e)
        {
            timer1.Interval = 5000;
            timer1.Tick += this.Timer_Tick;
            timer1.Start();
            label1.Show();
            label1.ForeColor=Color.Blue;
            label1.BackColor=Color.White;
            int size=16;
            label1.Font = new Font("NewRoman", size, FontStyle.Bold);
            label1.Text="Если вы хотите открыть файлы других Microsoft форматов, пересохраняйте файлы в RTF формат";
            label2.Show();
            label2.ForeColor=Color.Blue;
            label2.BackColor=Color.White;
            label2.Font = new Font("NewRoman", size, FontStyle.Bold);
            label2.Text="Если вы хотите открыть файлы других Microsoft форматов, пересохраняйте файлы в RTF формат";
        }
        void TextBox1TextChanged(object sender, EventArgs e)
        {
            
        }
        void Button1Click(object sender, EventArgs e)
        {
            
            if(count==1)
            {
                
            string text = richTextBox1.Text;
            text = ChangeString(text);
            richTextBox2.Text = text;
            
            textBox1.Text=count.ToString();
  
            count++;
            prov++;
            }
            if(prov==2)
            {
            string text = richTextBox1.Text;
            text = ChangeString2(text);
            richTextBox2.Text = text;
            textBox1.Text=count.ToString();
            count++;
            }
        }
        
        static string ChangeString(string s)
        {
        StringBuilder sb = new StringBuilder(new string(s.Reverse().ToArray()));
        for(int i=0; i<sb.Length-1; i+=2)
        {
        char tmp = sb[i];
        sb[i] = sb[i + 1];
        sb[i + 1] = tmp;
        }
        return sb.ToString();
        }
        static string ChangeString2(string s)
        {
        StringBuilder sb = new StringBuilder(new string(s.Reverse().ToArray()));
        for(int i=0; i<sb.Length; i+=3)
        {
        char tmp = sb[i];
        sb[i] = sb[i + 1];
        sb[i + 1] = tmp;
        }
        return sb.ToString();
        }
        
        static string RestoreString(string s)
{
        StringBuilder sb = new StringBuilder(s);
        for (int i = 0; i < sb.Length - 1; i += 2)
        {
        char tmp = sb[i];
        sb[i] = sb[i + 1];
        sb[i + 1] = tmp;
        }
        return new string(sb.ToString().Reverse().ToArray());
        }
        
        static string RestoreString2(string s)
{
        StringBuilder sb = new StringBuilder(s);
        for (int i = 0; i < sb.Length - 1; i += 3)
        {
        char tmp = sb[i];
        sb[i] = sb[i + 1];
        sb[i + 1] = tmp;
        }
        return new string(sb.ToString().Reverse().ToArray());
}
        void Button3Click(object sender, EventArgs e)
        {
            richTextBox1.Clear();
            button1.Enabled=true;
            prov=2;
            
        }
        void Button2Click(object sender, EventArgs e)
        {
            int live;
            live=count-count+1;
            
            if(count==1)
            {
                
            string text = richTextBox2.Text;
            text = RestoreString(text);
            richTextBox1.Text = text;
            
            textBox1.Text=count.ToString();
            count--;
            prov=0;
            }
            for(int i=0; i<live; i++)
            {
            if(prov==2)
            {
            string text = richTextBox2.Text;
            text = RestoreString2(text);
            richTextBox1.Text = text;
            textBox1.Text=count.ToString();
            count--;
            }
            }
        }
        
        void Label1Click(object sender, EventArgs e)
        {
    
        }
        void RichTextBox2TextChanged(object sender, EventArgs e)
        {
    
        }   
}
}