Existential 1 = ?10 : [q : nat  n : nat  m : nat |- n = ?9] 
Existential 2 = ?9 : [n : nat  m : nat |- nat] 
Existential 3 = ?7 : [p : nat  q := S p : nat  n : nat  m : nat |- ?9 = m]