Dependent choice, `quote' and the clock
scientific article; zbMATH DE number 2110981