assert *\( *0 *\)
