Johan Håstad: On small-depth Frege proofs for PHP. Electron. Colloquium Comput. Complex. TR23: Article TR23-042 (2023)