Guarantees - some case studies