L = [ a0? -> [ a1? -> _|_ # b? -> c0!; L ] # a1? -> [ a0? -> _|_ # b? -> c1!; L ] ]