A bootstrap for Forgez