rewrite convertible?