big_step_maximality.pdf 25 KB