gPHI Semi-Formal 2022