Rewrite assertion methods