@valid
@pretty
@ugly
vals.#(b==~true)#.a
vals.#(b==~false)#.a