(3) F ( s * , l * ) = s * T M l *