const proc: writeLogic (in boolean: a, in boolean: b) is func
  begin
    writeln("a and b is " <& a and b);
    writeln("a or b is " <& a or b);
    writeln("not a is " <& not a);
  end func;