First page
Back
Continue
Last page
Summary
Graphic
Contracts
Define an interface
Define the expected data input
Check the input
Abort if the contract is not met
Notes: