Definition keyAssignmentReferencesExists
  (k : keyAssignment)
  (s : clips)
: Prop :=
  exists p, keyAssignmentReferencesClip k p /\ In p (clipsList s).
