41c41
< * This creates new denials of existance, and proofs for absence of types
---
> * This creates new denials of existence, and proofs for absence of types