Substitution of Guarantee Sample Contracts