A conditional proof corresponds to the application of what Douglas Hofstadter calls the Fantasy Rule in his masterwork GEB:EGB. Surprisingly, the theory of propositional calculus which he develops in GEB:EGB employs several inference rules but no axioms: the need for any axioms is done away with through application of the Fantasy Rule.

Most of the rocks in the calc-alkaline association are granitoids, that is they are granites, granodiorites and tonalites all containing >20% quartz, with feldspar, mica and amphibole in various combinations (Chapter 3, Figures 3.10 and 3.11).

Mr Donald Alfred BLACKAM Mount Clear Vic 3350 For service to the community through philanthropic contributions to health, youth and dancesport organisations.

to erect a new commonwealth