NDAssertion.curry 709 Bytes