Index: docs/P5-Normalization/Normalization.md
===================================================================
--- docs/P5-Normalization/Normalization.md	(revision 8b447efcef1acebccdc8fd064521da4adc58d220)
+++ docs/P5-Normalization/Normalization.md	(revision a531b45df67bdc814d08013102302eda333cc626)
@@ -5,5 +5,5 @@
 point. Instead it starts over from a single flat relation containing every attribute of the
 model, derives the functional dependencies that hold on it, and decomposes it formally,
-step by step, using only Armstrong's axioms and the standard normal-form definitions. The
+step by step. The
 [final section](#final-result-and-discussion) compares what falls out of that process with
 the P2 design.