PROGRAM illustrate_what_boolean_math_looks_like;

   (* notice the program name, it can be up to 127 characters long
      just so it fits on one line. Variables can also be very long
      as we will see below *)

VAR a,b,c,d : BOOLEAN;
    a_very_big_boolean_name_can_be_used : BOOLEAN;
    junk,who : integer;

BEGIN
  junk := 4;
  who := 5;
  a := junk = who;    {since junk is not equal to who, a is false}
  b := junk = (who - 1);  {This is true}
  c := junk < who;        {This is true}
  d := Junk > 10;         {This is false}
  a_very_big_boolean_name_can_be_used := a OR b; {Since b is true,
                                                 the result is true}
  WRITELN('result a is ',a);
  WRITELN('result b is ',b);
  WRITELN('result c is ',c);
  WRITELN('result d is ',d:12); {This answer will be right justified
                                 in a 12 character field}
  WRITELN('result a_very_big_boolean_name_can_be_used is ',
                  a_very_big_boolean_name_can_be_used);
END.