Introduction This repo contains a small paper I wrote about my experimentation with the cost model for the Cozy tool.