λΜ¬a
[
[{bNX
]