This is useful information, which is not known by programmers.