tru = function(t) {
    return function(f) {
      return t;
    };
  };
  fls = function(t) {
    return function(f) {
      return f;
    };
  };
  pair = function(a) {
    return function(b) {
      return function(f) {
        return f(a)(b);
      };
    };
  };
  fst = function(p) {
    return p(tru);
  };
  snd = function(p) {
    return p(fls);
  };