`definition_readable` is unused here