basic assert re-write done