Axiom loading & editing works (#1).