given #1 (I,wt=4): 1 p(a).  [assumption].
given #2 (I,wt=155): 2 p(a * b).  [assumption].