rewrite the instance part