Index: docs/P5-Normalization/Normalization.md
===================================================================
--- docs/P5-Normalization/Normalization.md	(revision 4438e45b25e30493554075850d48b2dd419f570b)
+++ 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.