Tra Insertion Transformation epplies to (32)