Describir: Non-axiomatic logic