Thk(a) < [Thk(b) or Thk(c)] < Thk(d)