Definition of Trover