If the expression is true, the hardest problem in Computer Science would be naming cache invalidation strategies.