; T1 ! *?