let num_of_theories = List.length names