In general, do we want to document contracts?