Harj Taggar - Formalizing things (via searchlore.ai)