use basic assert