Definition of Terminer