Contract guarantee for above contract