[[[[[[[[[[[[[[[[[[[[[[[[[ true,true,[ true,true, true,[ t0]]