formalchemy_project README