This seems to be a complete set of reductions.
Authored by: nerius 2023-04-10
Parent: [r384]
Child: [r386]