--- a/False.st	Tue Mar 06 19:01:11 2018 +0100
+++ b/False.st	Tue Mar 06 19:01:28 2018 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1988 by Claus Gittinger
 	      All Rights Reserved
@@ -224,6 +226,13 @@
     ^ false
 !
 
+==> aBoolean
+   "same as implies:
+    return true if receiver => argument"
+
+    ^ true
+!
+
 eqv:aBoolean
     "return true, if the receiver and the argument are the same truth value
      (since the receiver is false, return true if the argument is also false)"