asserter done, but not tested yet.