Figure 1: Graphical user interface of IDES