Definition clipsReferenced
  (k  : keyAssignments)
  (ss : clips)
: Prop :=
  Forall (fun s => exists a, keyAssignmentReferencesClip a s /\ In s (clipsList ss)) (clipsList ss).
