Definition of TROVER,