Title: A comparative study of topological formulas