axiom
P1: "=>" is a
weak order
on F
source
jl@crush.caltech.edu
index
savage