basics: sound less classically biased
basics: a bit more explanation of "merely"
basics: a counterexample to AC_{-1} for 1-types