Chaotic dynamical systems provide a rich source of fascinating examples for the mathematical community. However, much of what is believed to be true about such systems has not been rigorously verified, only inferred from numerical experimentation. My work, largely joint with Hüseyin Koçak and Kenneth J. Palmer, bridges the gap...