Text this: Non-axiomatic logic : a model of intelligent reasoning /