diff --git a/Body.md b/Body.md
new file mode 100644
index 0000000..a46cbaa
--- /dev/null
+++ b/Body.md
@@ -0,0 +1,14 @@
+The body section contains the actual code, as well as things like type
+definitions. Every "thing" in ARF that has global scope is called a section.
+Listed below are all the kinds of sections ARF supports:
+
+- type: a "blind" type definition (similar to typedef in C)
+- objt: a structured type definition (similar to a class)
+- enum: an enumerated type definition
+- face: an interface type (similar to an interface in Go)
+- data: a global variable
+- func: a function definition
+
+Sections definitions are hoisted so there is no need for prototyping things.
+All sections in a module must have a unique name within that module no matter
+what kind of section it is.
\ No newline at end of file