40 questions inspired by the Foundations 1 course (syntax, subterms, substitution, α/β/η, normalisation, strategies, encodings, fixed points).