range example without asserts and with proc instead of axioms