Code complete for Crate Prop