let level t = t.level