protected SelectionResult(OperationStatus status) { Contract.ThrowIfNull(status); this.Status = status; }