% References cited in https://agora.t9k.dev/t/235/shelah-s-eventual-categoricity-and-the-prescribed-threshold-obstruction