anchor.diff:    end.
   
   not_op(Boolean) ->
  -  True = true_pid(),
  +  True = true_instance(),
     False = false_pid(),
     case Boolean of
       True -> False;
  
positive.code:   end.
  
  or_op(B1,B2) ->
    True = true_pid(),
    False = false_pid(),
    case B1 of
      True -> True;
  
negative.code:   case Object of
      NilObject -> false_pid();
      False -> false_pid();
      _ -> true_instance()
    end.
  
  
  and_op(B1,B2) ->
    True = true_instance(),
    False = false_pid(),
    case B1 of
      True -> B2;
  