] & TOTI * 3Sf.