tape -> assert
coverage