If two Opinions posit Rules that aren't identical, you often need to know the broadest Rule that's supported by both Opinions (which means "implied by some Rule in each Opinion"?).
Similar to a set intersection in logic, the & operator should answer this question for two Rules.
If two Opinions posit Rules that aren't identical, you often need to know the broadest Rule that's supported by both Opinions (which means "implied by some Rule in each Opinion"?).
Similar to a set intersection in logic, the
&operator should answer this question for two Rules.