Summary: Are provably correct queries of interest to you? Sean gives a rundown of what a Rusty ORM might be like to build.