module intuitionistic.

  % no facts or rules, just constants
  type false o.

  type p o.
  type q o.
  type r o.