Collabotory Formal Jackets 167