Some design contracts

<< >