diff --git a/doc/tutorial/basics/defaults.md b/doc/tutorial/basics/defaults.md
index 642e621..a46825d 100644
--- a/doc/tutorial/basics/defaults.md
+++ b/doc/tutorial/basics/defaults.md
@@ -1,6 +1,6 @@
 [TOC](Readme.md) [Prev](disjunctions.md) [Next](disjstruct.md)
 
-_Types and Values_
+_Types ~~and~~ are Values_
 
 # Default Values