56116
Historically , mathematicians who favored a " rich " and " large " universe of sets were against CH , while those favoring a " neat " and " controllable " universe favored CH. Parallel arguments were made for and against the axiom of constructibility , which implies CH. More recently , Matthew Foreman has pointed out that ontological maximalism can actually be used to argue in favor of CH , because among models that have the same reals , models with " more " sets of reals have a better chance of satisfying CH .
 person: Matthew Foreman
Given options, please tell me the categories of all the listed entity words.Output format is "type1: word1; type2: word2". 
Option: media, plant, vehicle, astronomical object, time, disease, animal, location, person, organization, mythical figure, food, biology, geographical phenomenon, instrument, event 
Text: {0} 
 Entities: Matthew Foreman 
Answer:
 person: Matthew Foreman