make the correct assertions