Independent. Local-first developer tools, and a verification substrate for effects that have to be undoable. Rust. Limits written down before features.