axiomatic.c 940 Bytes