Contract

Contract(Q93288) is an agreement having a lawful object entered into voluntarily by multiple parties (may be explicitly written or oral). The Category Contract is a computationally checked program that could decide whether explicitly stated Inputs/Outputs conditions can be met, and what should be made responsible for each of the kind of outcome pairs.