As a consequence of #26 it's clear that contracts chapter should talk about unsafe operations. - Preconditions should be explicit - Important to wrap into safe operations - Safety proof obligation for such a wrapper
