ToL > 1_2