D0
D1 {d11 = True, d12 = D0}
D1 {d11 = 3, d12 = D0}