you could use Seq.forall here.