Definition of Minerator