Vol. 9 (2010): Australasian Journal of Logic