t4])) ==> [4