diff --git a/src/traits/chalk-overview.md b/src/traits/chalk-overview.md
index 54f6c3394..0a95585f6 100644
--- a/src/traits/chalk-overview.md
+++ b/src/traits/chalk-overview.md
@@ -126,10 +126,10 @@ things", chalk_ir defines [`ProgramEnvironment`] which is "pure logic".
 The main field in that struct is `program_clauses`, which contains the
 [`ProgramClause`]s generated by the rules module.
 
-### Rules ([chalk_rules])
+### Rules ([chalk_solve])
 
-The `chalk_rules` crate ([source code][chalk_rules]) defines the logic rules we use
-for each item in the Rust IR. It works by iterating over every trait, impl,
+The `chalk_solve` crate ([source code][chalk_solve]) defines the logic rules we
+use for each item in the Rust IR. It works by iterating over every trait, impl,
 etc. and emitting the rules that come from each one.
 
 *See also: [Lowering Rules][lowering-rules]*
@@ -137,7 +137,7 @@ etc. and emitting the rules that come from each one.
 #### Well-formedness checks
 
 As part of lowering to logic, we also do some "well formedness" checks. See
-the [`chalk_rules::wf` source code][rules-wf-src] for where those are done.
+the [`chalk_solve::wf` source code][solve-wf-src] for where those are done.
 
 *See also: [Well-formedness checking][wf-checking]*
 
@@ -163,12 +163,11 @@ Chalk's functionality is broken up into the following crates:
 - [**chalk_ir**][chalk_ir]: Defines chalk's internal representation of
   types, lifetimes, and goals.
 - [**chalk_solve**][chalk_solve]: Combines `chalk_ir` and `chalk_engine`,
-  effectively.
+  effectively, which implements logic rules converting `chalk_rust_ir` to
+  `chalk_ir`
+  - Defines the `coherence` module, which implements coherence rules
   - [`chalk_engine::context`][engine-context] provides the necessary hooks.
 - [**chalk_parse**][chalk_parse]: Defines the raw AST and a parser.
-- [**chalk_rules**][chalk_rules]: which implements logic rules converting
-  `chalk_rust_ir` to `chalk_ir`
-  - Defines the `coherence` module, which implements coherence rules
 - [**chalk**][doc-chalk]: Brings everything together. Defines the following
   modules:
   - `chalk::lowering`, which converts AST to `chalk_rust_ir`
@@ -236,7 +235,6 @@ Likewise, lowering tests use the [`lowering_success!` and
 [chalk_ir]: https://rust-lang.github.io/chalk/doc/chalk_ir/index.html
 [chalk_parse]: https://rust-lang.github.io/chalk/doc/chalk_parse/index.html
 [chalk_solve]: https://rust-lang.github.io/chalk/doc/chalk_solve/index.html
-[chalk_rules]: https://rust-lang.github.io/chalk/doc/chalk_rules/index.html
 [chalk_rust_ir]: https://rust-lang.github.io/chalk/doc/chalk_rust_ir/index.html
 [doc-chalk]: https://rust-lang.github.io/chalk/doc/chalk/index.html
 [engine-context]: https://rust-lang.github.io/chalk/doc/chalk_engine/context/index.html
@@ -250,9 +248,9 @@ Likewise, lowering tests use the [`lowering_success!` and
 [chalk-test-wf]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rules/wf/test.rs#L1
 [chalki]: https://rust-lang.github.io/chalk/doc/chalki/index.html
 [clause]: https://github.com/rust-lang/chalk/blob/master/GLOSSARY.md#clause
-[coherence-src]: http://rust-lang.github.io/chalk/doc/chalk_rules/coherence/index.html
+[coherence-src]: http://rust-lang.github.io/chalk/doc/chalk_solve/coherence/index.html
 [ir-code]: http://rust-lang.github.io/chalk/doc/chalk_rust_ir/
-[rules-wf-src]: http://rust-lang.github.io/chalk/doc/chalk_rules/wf/index.html
+[solve-wf-src]: http://rust-lang.github.io/chalk/doc/chalk_solve/wf/index.html
 [solve_goal]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test.rs#L85
 [test-lowering-macros]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test_util.rs#L21-L54
 [test-macro]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/test.rs#L33