intro + equivalence of problems