Low level definability above large cardinals - Farmer Schlutzenberg (2024)