Like mine said that

I am vaguely referencing the theorems

I don’t remember which one it was

I am just generally pointing into the direction of the thing

Like they have subclasses

And expect ppl to use gpt or something to filter the dataset