( T1 falis ^ va. £Xli3)