let belong_to_same_team_as (s1:student) (s2:student) (p:paddress) = 
  if (s1.group = s2.group) then begin try
    (H.get_assoc s1.teams p).n = (H.get_assoc s2.teams p).n;
  with _ -> false;
  end else false