(x=0, 0.2, 0.5, 0.8 and 1) type systems