The Up-To-Dateness Problem