/papers/hydra-revisited-substituting-formal-for-self--and/11815694