The first chapter should give an overview over the Rust syntax, the OBS in practice, and Refinement Types. This will be the foundations and should be understandable for every CS graduate.