Author: j. n. crossley and m.a.e dummett