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