ToL > 3_6