diff --git a/images/chatgpt-1.mp4 b/images/chatgpt-1.mp4
index dce5fb1..83fa1cd 100644
Binary files a/images/chatgpt-1.mp4 and b/images/chatgpt-1.mp4 differ
diff --git a/images/chatgpt-2.mp4 b/images/chatgpt-2.mp4
new file mode 100644
index 0000000..dee6c02
Binary files /dev/null and b/images/chatgpt-2.mp4 differ
diff --git a/index.html b/index.html
index 6621903..53aed44 100644
--- a/index.html
+++ b/index.html
@@ -409,39 +409,20 @@ <h2 class="title is-3"><span class="dvima">ChatGPT for Theorem Proving</span></h
 
                     <div class="columns">
                         <div class="column has-text-left video-column">
-                            <video controls muted autoplay loop width="100%">
+                            <video controls muted width="100%">
                                 <source src="images/chatgpt-1.mp4" type="video/mp4">
                             </video>
                         </div>
 
                         <div class="column has-text-left video-column">
-                            <video controls muted autoplay loop width="100%">
-                                <source src="images/chatgpt-1.mp4" type="video/mp4">
-                            </video>
-                        </div>
-
-                        <div class="column has-text-left video-column">
-                            <video controls muted autoplay loop width="100%">
-                                <source src="images/chatgpt-1.mp4" type="video/mp4">
-                            </video>
-                        </div>
-                    </div>
-                    <div class="columns">
-                        <div class="column has-text-left video-column">
-                            <video controls muted autoplay loop width="100%">
-                                <source src="images/chatgpt-1.mp4" type="video/mp4">
+                            <video controls muted width="100%">
+                                <source src="images/chatgpt-2.mp4" type="video/mp4">
                             </video>
                         </div>
 
                         <div class="column has-text-left video-column">
-                            <video controls muted autoplay loop width="100%">
-                                <source src="images/chatgpt-1.mp4" type="video/mp4">
-                            </video>
-                        </div>
-
-                        <div class="column has-text-left video-column">
-                            <video controls muted autoplay loop width="100%">
-                                <source src="images/chatgpt-1.mp4" type="video/mp4">
+                            <video controls muted width="100%">
+                                <source src="images/chatgpt-3.mp4" type="video/mp4">
                             </video>
                         </div>
                     </div>