a(! !!x) k(!!g) a(!!!x) a(!! !x) a(!b)