public string Extract(Format format) { Contract.Ensures(Contract.Result<string>() != null); return ""; }