(# a)(*a?[]((# b)(b![b] | a![])) | a![])