Deterministic Depth-4 PIT and Normalization. - Zeyu Guo 001; Siki Wang (Electron. Colloquium Comput. Complex., 2025)