Compose How to read Contract Society None: assumptions unverified