Definition of EX CONTRACTU