reanalyzable
not defined yet