Well ordering principles and Π^1_4-statements: a pilot study - Anton Freund (2020)