Notation of Guarantee Sample Contracts