which part isn't?
I agree with "the model is us" and I wish more people were critical of the "alien" nonsense - these proofs belong to humanity, the thinking that led to them is an extension of our thinking. we entered the era of machine assisted 100+ page proofs decades ago: I wonder how many living humans right now understand the full 20,000 page existence proof of the monster group for example