please use your full address including postcode this is an orthonormal system but it is not complete the rule allows one to introduce or eliminate a negation from a logical proof during this period a lot of changes of rules occurred