axiomatic.res.oracle 2.64 KB