Įrašai, pažymėti "formal systems"