Mathematical proofs | HearLore