Open catrincm opened 5 years ago
Need to add a section on nec and suff conditions!
added in intro. Check it over
Should be done with quantifiers NOT modality claims!!!
Need to add a section on nec and suff conditions!