Pending Double-Execution Reveals Inherent Flaws in