SizePremise and SizeConclusion return number of elements in set
Implication fix
Concept