The traditional presupposition in the consequent, that Sam has watched the opera before, is also, of course, valid, but in it is filtered out in the entire sentence by being explicitly included in the antecedent.