Henriques, G. . . Summarizing and Clarifying the Unified Approach. PCSP 2023, 19.