This is a working definition for #280. Which processes will ultimately be included in the axioms is still open.