Forks of Formal Report