You're using the Beta version of Contradic. Expect new features and improvements soon!