diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 8a7f68ce9145..2cc26d4a9f2e 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -77,6 +77,7 @@
 
 - [Welcome](welcome-day-2.md)
 - [Pattern Matching](pattern-matching.md)
+  - [Irrefutable Patterns](pattern-matching/infallible.md)
   - [Matching Values](pattern-matching/match.md)
   - [Destructuring Structs](pattern-matching/destructuring-structs.md)
   - [Destructuring Enums](pattern-matching/destructuring-enums.md)
diff --git a/src/pattern-matching/infallible.md b/src/pattern-matching/infallible.md
new file mode 100644
index 000000000000..0624cea4b498
--- /dev/null
+++ b/src/pattern-matching/infallible.md
@@ -0,0 +1,66 @@
+---
+minutes: 5
+---
+
+# Irrefutable Patterns
+
+In day 1 we briefly saw how patterns can be used to _destructure_ compound
+values. Let's review that and talk about a few other things patterns can
+express:
+
+```rust,editable
+fn takes_tuple(tuple: (char, i32, bool)) {
+    let a = tuple.0;
+    let b = tuple.1;
+    let c = tuple.2;
+
+    // This does the same thing as above.
+    let (a, b, c) = tuple;
+
+    // Ignore the first element, only bind the second and third.
+    let (_, b, c) = tuple;
+
+    // Ignore everything but the last element.
+    let (.., c) = tuple;
+}
+
+fn main() {
+    takes_tuple(('a', 777, true));
+}
+```
+
+<details>
+
+- All of the demonstrated patterns are _irrefutable_, meaning that they will
+  always match the value on the right hand side.
+
+- Patterns are type-specific, including irrefutable patterns. Try adding or
+  removing an element to the tuple and look at the resulting compiler errors.
+
+- Variable names are patterns that always match and which bind the matched value
+  into a new variable with that name.
+
+- `_` is a pattern that always matches any value, discarding the matched value.
+
+- `..` allows you to ignore multiple values at once.
+
+## More to Explore
+
+- You can also demonstrate more advanced usages of `..`, such as ignoring the
+  middle elements of a tuple.
+
+  ```rust
+  fn takes_tuple(tuple: (char, i32, bool, u8)) {
+      let (first, .., last) = tuple;
+  }
+  ```
+
+- All of these patterns work with arrays as well:
+
+  ```rust
+  fn takes_array(array: [u8; 5]) {
+      let [first, .., last] = array;
+  }
+  ```
+
+</details>