Finsler's Lemma - Ontify