-----------------------------------------------
-0.5.1 (to be announced) "temporary implication"
-----------------------------------------------
+------------------------------------------
+0.5.1 (2013-12-20) "temporary implication"
+------------------------------------------