Intro to Crate-ivity