On the Necessity of Auditable Algorithmic Definitions for Machine Unlearning