(7p) _ (am) = <= ss f= Ti)