Definition of Impossible Contracts