Tag: cris axiomatic (1) results