Examples for contracts