Autotomy

A11 — shed-under-load axiom