Let T ; sat g ;.