... limit to the length and variation of things you ... can say, and each logical expression semantically ... "if A and B, then B," there can't be a finite list ... the number of premises and the number of terms ... check them out every now and then.
...