Definition of Explorator