forking hell to Formal Trolling