FORMAL SIRTS