circuit <P(b|C)=1}>