Getting started with Hatchproof