Writing for contracts

1 verses