A Čech function in ZFC