Levinthal paradox (1968) demonstrates that there must be a folding pathway for proteins to fold correctly and in the 1980s we were finally able to map this (Matouschek, Nature, 1989) and molecular dynamics simulations have improved upon this (Daggett, Acc Chem Res, 2002) (Kohlhoff, 2013, Nature Chem)