A Stack of Contracts