Franceschini, E. ST’s Meta-Paracompleteness. LLP 2026, 1-30.