Removed spurious guarantees.