public void Describe(string target, string description) { Contract.Requires(target != null); Contract.Requires(description != null); }