TKYPr o f $forall bc <- bcs #{snd bc} > #{title}