diff --git a/Missing.md b/Missing.md
new file mode 100644
index 0000000000000000000000000000000000000000..2d7082756f249525f1a14b602f551d45cc163dce
--- /dev/null
+++ b/Missing.md
@@ -0,0 +1,11 @@
+Missing APIs from the types we cover (APIs have been added after this formalization was done)
+
+# Cell
+
+* Structural conversion for slices.  The matching operations in our model would be
+  `&mut Cell<(A, B)>` -> `(&mut Cell<A>, &mut Cell<B>)` and
+  `&Cell<(A, B)>` -> `(&Cell<A>, &Cell<B>)`.
+
+# RefCell
+
+* RefMut::split: https://github.com/rust-lang/rust/pull/51466