Definition of Executed Contract