diff --git a/src/bare-metal/aps/uart/traits.md b/src/bare-metal/aps/uart/traits.md
index 0901c9d0..b6046348 100644
--- a/src/bare-metal/aps/uart/traits.md
+++ b/src/bare-metal/aps/uart/traits.md
@@ -1,5 +1,13 @@
 # More traits
 
+We derived the `Debug` trait. It would be useful to implement a few more traits too.
+
 ```rust,editable,compile_fail
 {{#include ../examples/src/pl011_minimal.rs:Traits}}
 ```
+
+<details>
+
+* Implementing `Write` lets us use the `write!` and `writeln!` macros with our `Uart` type.
+
+</details>