Aristoteles formalisoi FRI-luotettavuuden @leanprover 🔥