Invoking Guarantees