let create x = Array.create num_of_theories x