f Ti impl