Overt choice - Arno Pauly (Computability, 2020)