Contracts

At the edge of formality nerdknow