Formal Witnesses and Topics