0 = 1 | a 0 | b 0
