Therefore, recently, we decided to create a variant, ProM Lite, which is still the same ProM, the same framework,but with less tools, with less plugins included. So we selected a bit over a 100 plugins to be included, and each of these plugins has been better tested. So even though we don’t promise commercial quality yet, each plugin is of better quality than before, and we only selected those that are of good quality and perform well. However, the user interface is still the same. In this lecture and throughout this whole course, we will use ProM Lite. So remember, don’t use ProM, use ProM Lite. And in this lecture, I’ll show you how to install this.