assert(a~--)