--- a/devel-versioning.rst	Sun Nov 27 23:54:40 2011 +0200
+++ b/devel-versioning.rst	Mon Nov 28 00:01:06 2011 +0200
@@ -135,6 +135,24 @@
  * rc (release candidate) are believed to meet all of the criteria for release
    and can be installed on test instances of production systems.
 
+Compatibility formula.
+----------------------
+
+Assume that app linked with new version of lib. Thus::
+
+  is_compatible_with_old(old, new) {
+    if (old.major != new.major) return 0;
+    if (old.minor > new.minor) return 0;
+    return 1;
+  }
+
+Assume that app linked with old version of lib. Thus::
+
+  is_compatible_with_new(old, new) {
+    if (old.major != new.major) return 0;
+    return 1;
+  }
+
 Versioning for products.
 ========================
 
@@ -345,24 +363,6 @@
 
 Protocol compatibility.
 
-Compatibility formula.
-======================
-
-Assume that app linked with new version of lib. Thus::
-
-  is_compatible_with_old(old, new) {
-    if (old.major != new.major) return 0;
-    if (old.minor > new.minor) return 0;
-    return 1;
-  }
-
-Assume that app linked with old version of lib. Thus::
-
-  is_compatible_with_new(old, new) {
-    if (old.major != new.major) return 0;
-    return 1;
-  }
-
 Reference.
 ==========