Extension to not-knowing and exceptions

Summary
Extension to not-knowing and exceptions