Sato–Tate Conjecture - Ontify