TC2_9486 formal