Atiyah–Bott Fixed-Point Theorem - Ontify