dialyzable
not defined yet