HL7.FHIR.UV.IPS\Condition (IPS)

International Patient Summary Implementation Guide
1.0.0 - STU 1

This page is part of the International Patient Summary Implementation Guide (v1.0.0: STU 1) based on FHIR R4. The current version which supercedes this version is 1.1.0. For a full list of available versions, see the Directory of published versions

StructureDefinition: ConditionUvIps

This profile represents the constraints applied to the Condition resource by the International Patient Summary (IPS) FHIR Implementation Guide. A record of a problem is represented in the patient summary as an instance of the Condition resource constrained by this profile.

The official URL for this profile is:

http://hl7.org/fhir/uv/ips/StructureDefinition/Condition-uv-ips

Formal Views of Profile Content

Description of Profiles, Differentials, Snapshots and how the different presentations work.

Text Summary
Differential Table
Snapshot Table
All

This structure is derived from Condition

Summary

Mandatory: 3 elements
Must-Support: 14 elements

Structures

This structure refers to these other structures:

Slices

This structure defines the following Slices:

The element Condition.code is sliced based on the value of pattern:$this
The element Condition.onset[x] is sliced based on the value of type:$this (Closed)
The element Condition.abatement[x] is sliced based on the value of type:$this (Closed)

This structure is derived from Condition

Name	Flags	Card.	Type	Description & Constraints
Condition	S	0..*	Condition	Documentation of a health problem of the patient
clinicalStatus	S	1..1	CodeableConceptIPS	Concept - reference to a terminology or just text
verificationStatus	S	0..1	CodeableConceptIPS	Concept - reference to a terminology or just text
category	S	0..*	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: Problem Type - IPS (extensible)
severity	S	0..1	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: Problem Severity - IPS (preferred)
code	S	1..1	(Slice Definition)	Concept - reference to a terminology or just text Slice: Unordered, Open by pattern:$this
code:problemGPSCode	S	0..1	CodeableConcept	Code for a problem from the SNOMED CT GPS code set Binding: CORE Problem List Finding/Situation/Event (GPS) - IPS (required)
code:absentOrUnknownProblem	S	0..1	CodeableConcept	Code for absent problem or for unknown problem Binding: Absent or Unknown Problems - IPS (required)
bodySite		0..*	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: SNOMEDCTBodyStructures (example)
subject	S	1..1	Reference(Patient (IPS))	Who has the condition?
reference	S	1..1	string	Literal reference, Relative, internal or absolute URL
onset[x]	S	0..1	(Slice Definition)	Estimated or actual date, date-time, or age Slice: Unordered, Closed by type:$this
onsetDateTime:onsetDateTime	S	0..1	dateTime	Estimated or actual date, date-time, or age
onsetPeriod:onsetPeriod		0..1	Period	Estimated or actual date, date-time, or age
abatement[x]	S	0..1	(Slice Definition)	When in resolution/remission Slice: Unordered, Closed by type:$this
abatement[x]:abatementDateTime	S	0..1	dateTime	When in resolution/remission
abatement[x]:abatementPeriod		0..1	Period	When in resolution/remission
asserter	S	0..1	Reference(Practitioner \| PractitionerRole \| Patient \| RelatedPerson)	Person who asserts this condition
Documentation for this format

Name	Flags	Card.	Type	Description & Constraints
Condition	SI	0..*	Condition	Documentation of a health problem of the patient
id	Σ	0..1	string	Logical id of this artifact
meta	ΣI	0..1	Meta	Metadata about the resource
implicitRules	?!ΣI	0..1	uri	A set of rules under which this content was created
language	I	0..1	code	Language of the resource content Binding: CommonLanguages (preferred) Max Binding: AllLanguages
text	I	0..1	Narrative	Text summary of the resource, for human interpretation
contained		0..*	Resource	Contained, inline Resources
extension	I	0..*	Extension	Additional content defined by implementations
modifierExtension	?!I	0..*	Extension	Extensions that cannot be ignored
identifier	ΣI	0..*	Identifier	External Ids for this condition
clinicalStatus	SI	1..1	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: ConditionClinicalStatusCodes (required)
verificationStatus	SI	0..1	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: ConditionVerificationStatus (required)
category	SI	0..*	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: Problem Type - IPS (extensible)
severity	SI	0..1	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: Problem Severity - IPS (preferred)
code	SΣI	1..1	(Slice Definition)	Concept - reference to a terminology or just text Slice: Unordered, Open by pattern:$this Binding: Condition/Problem/DiagnosisCodes (example)
code:problemGPSCode	SΣI	0..1	CodeableConcept	Code for a problem from the SNOMED CT GPS code set Binding: CORE Problem List Finding/Situation/Event (GPS) - IPS (required)
code:absentOrUnknownProblem	SΣI	0..1	CodeableConcept	Code for absent problem or for unknown problem Binding: Absent or Unknown Problems - IPS (required)
bodySite	SI	0..*	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: SNOMEDCTBodyStructures (example)
subject	SΣI	1..1	Reference(Patient (IPS))	Who has the condition?
id		0..1	string	Unique id for inter-element referencing
extension	I	0..*	Extension	Additional content defined by implementations Slice: Unordered, Open by value:url
reference	SΣI	1..1	string	Literal reference, Relative, internal or absolute URL
type	ΣI	0..1	uri	Type the reference refers to (e.g. "Patient") Binding: ResourceType (extensible)
identifier	ΣI	0..1	Identifier	Logical reference, when literal reference is not known
display	ΣI	0..1	string	Text alternative for the resource
encounter	ΣI	0..1	Reference(Encounter)	Encounter created as part of
onset[x]	SΣI	0..1	(Slice Definition)	Estimated or actual date, date-time, or age Slice: Unordered, Closed by type:$this
onsetDateTime			dateTime
onsetAge			Age
onsetPeriod			Period
onsetRange			Range
onsetString			string
onset[x]:onsetDateTime	SΣI	0..1	dateTime	Estimated or actual date, date-time, or age
onset[x]:onsetPeriod	ΣI	0..1	Period	Estimated or actual date, date-time, or age
abatement[x]	SI	0..1	(Slice Definition)	When in resolution/remission Slice: Unordered, Closed by type:$this
abatementDateTime			dateTime
abatementAge			Age
abatementPeriod			Period
abatementRange			Range
abatementString			string
abatement[x]:abatementDateTime	SI	0..1	dateTime	When in resolution/remission
abatement[x]:abatementPeriod	I	0..1	Period	When in resolution/remission
recordedDate	ΣI	0..1	dateTime	Date record was first recorded
recorder	ΣI	0..1	Reference(Practitioner \| PractitionerRole \| Patient \| RelatedPerson)	Who recorded the condition
asserter	SΣI	0..1	Reference(Practitioner \| PractitionerRole \| Patient \| RelatedPerson)	Person who asserts this condition
stage	I	0..*	BackboneElement	Stage/grade, usually assessed formally con-1: Stage SHALL have summary or assessment
id		0..1	string	Unique id for inter-element referencing
extension	I	0..*	Extension	Additional content defined by implementations
modifierExtension	?!ΣI	0..*	Extension	Extensions that cannot be ignored even if unrecognized
summary	I	0..1	CodeableConcept	Simple summary (disease specific) Binding: ConditionStage (example)
assessment	I	0..*	Reference(ClinicalImpression \| DiagnosticReport \| Observation)	Formal record of assessment
type	I	0..1	CodeableConcept	Kind of staging Binding: ConditionStageType (example)
evidence	I	0..*	BackboneElement	Supporting evidence con-2: evidence SHALL have code or details
id		0..1	string	Unique id for inter-element referencing
extension	I	0..*	Extension	Additional content defined by implementations
modifierExtension	?!ΣI	0..*	Extension	Extensions that cannot be ignored even if unrecognized
code	ΣI	0..*	CodeableConcept	Manifestation/symptom Binding: ManifestationAndSymptomCodes (example)
detail	ΣI	0..*	Reference(Resource)	Supporting information found elsewhere
note	I	0..*	Annotation	Additional information about the Condition
Documentation for this format

This structure is derived from Condition

Summary

Mandatory: 3 elements
Must-Support: 14 elements

Structures

This structure refers to these other structures:

Slices

This structure defines the following Slices:

The element Condition.code is sliced based on the value of pattern:$this
The element Condition.onset[x] is sliced based on the value of type:$this (Closed)
The element Condition.abatement[x] is sliced based on the value of type:$this (Closed)

Differential View

This structure is derived from Condition

Name	Flags	Card.	Type	Description & Constraints
Condition	S	0..*	Condition	Documentation of a health problem of the patient
clinicalStatus	S	1..1	CodeableConceptIPS	Concept - reference to a terminology or just text
verificationStatus	S	0..1	CodeableConceptIPS	Concept - reference to a terminology or just text
category	S	0..*	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: Problem Type - IPS (extensible)
severity	S	0..1	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: Problem Severity - IPS (preferred)
code	S	1..1	(Slice Definition)	Concept - reference to a terminology or just text Slice: Unordered, Open by pattern:$this
code:problemGPSCode	S	0..1	CodeableConcept	Code for a problem from the SNOMED CT GPS code set Binding: CORE Problem List Finding/Situation/Event (GPS) - IPS (required)
code:absentOrUnknownProblem	S	0..1	CodeableConcept	Code for absent problem or for unknown problem Binding: Absent or Unknown Problems - IPS (required)
bodySite		0..*	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: SNOMEDCTBodyStructures (example)
subject	S	1..1	Reference(Patient (IPS))	Who has the condition?
reference	S	1..1	string	Literal reference, Relative, internal or absolute URL
onset[x]	S	0..1	(Slice Definition)	Estimated or actual date, date-time, or age Slice: Unordered, Closed by type:$this
onsetDateTime:onsetDateTime	S	0..1	dateTime	Estimated or actual date, date-time, or age
onsetPeriod:onsetPeriod		0..1	Period	Estimated or actual date, date-time, or age
abatement[x]	S	0..1	(Slice Definition)	When in resolution/remission Slice: Unordered, Closed by type:$this
abatement[x]:abatementDateTime	S	0..1	dateTime	When in resolution/remission
abatement[x]:abatementPeriod		0..1	Period	When in resolution/remission
asserter	S	0..1	Reference(Practitioner \| PractitionerRole \| Patient \| RelatedPerson)	Person who asserts this condition
Documentation for this format

Snapshot View

Name	Flags	Card.	Type	Description & Constraints
Condition	SI	0..*	Condition	Documentation of a health problem of the patient
id	Σ	0..1	string	Logical id of this artifact
meta	ΣI	0..1	Meta	Metadata about the resource
implicitRules	?!ΣI	0..1	uri	A set of rules under which this content was created
language	I	0..1	code	Language of the resource content Binding: CommonLanguages (preferred) Max Binding: AllLanguages
text	I	0..1	Narrative	Text summary of the resource, for human interpretation
contained		0..*	Resource	Contained, inline Resources
extension	I	0..*	Extension	Additional content defined by implementations
modifierExtension	?!I	0..*	Extension	Extensions that cannot be ignored
identifier	ΣI	0..*	Identifier	External Ids for this condition
clinicalStatus	SI	1..1	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: ConditionClinicalStatusCodes (required)
verificationStatus	SI	0..1	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: ConditionVerificationStatus (required)
category	SI	0..*	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: Problem Type - IPS (extensible)
severity	SI	0..1	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: Problem Severity - IPS (preferred)
code	SΣI	1..1	(Slice Definition)	Concept - reference to a terminology or just text Slice: Unordered, Open by pattern:$this Binding: Condition/Problem/DiagnosisCodes (example)
code:problemGPSCode	SΣI	0..1	CodeableConcept	Code for a problem from the SNOMED CT GPS code set Binding: CORE Problem List Finding/Situation/Event (GPS) - IPS (required)
code:absentOrUnknownProblem	SΣI	0..1	CodeableConcept	Code for absent problem or for unknown problem Binding: Absent or Unknown Problems - IPS (required)
bodySite	SI	0..*	CodeableConceptIPS	Concept - reference to a terminology or just text Binding: SNOMEDCTBodyStructures (example)
subject	SΣI	1..1	Reference(Patient (IPS))	Who has the condition?
id		0..1	string	Unique id for inter-element referencing
extension	I	0..*	Extension	Additional content defined by implementations Slice: Unordered, Open by value:url
reference	SΣI	1..1	string	Literal reference, Relative, internal or absolute URL
type	ΣI	0..1	uri	Type the reference refers to (e.g. "Patient") Binding: ResourceType (extensible)
identifier	ΣI	0..1	Identifier	Logical reference, when literal reference is not known
display	ΣI	0..1	string	Text alternative for the resource
encounter	ΣI	0..1	Reference(Encounter)	Encounter created as part of
onset[x]	SΣI	0..1	(Slice Definition)	Estimated or actual date, date-time, or age Slice: Unordered, Closed by type:$this
onsetDateTime			dateTime
onsetAge			Age
onsetPeriod			Period
onsetRange			Range
onsetString			string
onset[x]:onsetDateTime	SΣI	0..1	dateTime	Estimated or actual date, date-time, or age
onset[x]:onsetPeriod	ΣI	0..1	Period	Estimated or actual date, date-time, or age
abatement[x]	SI	0..1	(Slice Definition)	When in resolution/remission Slice: Unordered, Closed by type:$this
abatementDateTime			dateTime
abatementAge			Age
abatementPeriod			Period
abatementRange			Range
abatementString			string
abatement[x]:abatementDateTime	SI	0..1	dateTime	When in resolution/remission
abatement[x]:abatementPeriod	I	0..1	Period	When in resolution/remission
recordedDate	ΣI	0..1	dateTime	Date record was first recorded
recorder	ΣI	0..1	Reference(Practitioner \| PractitionerRole \| Patient \| RelatedPerson)	Who recorded the condition
asserter	SΣI	0..1	Reference(Practitioner \| PractitionerRole \| Patient \| RelatedPerson)	Person who asserts this condition
stage	I	0..*	BackboneElement	Stage/grade, usually assessed formally con-1: Stage SHALL have summary or assessment
id		0..1	string	Unique id for inter-element referencing
extension	I	0..*	Extension	Additional content defined by implementations
modifierExtension	?!ΣI	0..*	Extension	Extensions that cannot be ignored even if unrecognized
summary	I	0..1	CodeableConcept	Simple summary (disease specific) Binding: ConditionStage (example)
assessment	I	0..*	Reference(ClinicalImpression \| DiagnosticReport \| Observation)	Formal record of assessment
type	I	0..1	CodeableConcept	Kind of staging Binding: ConditionStageType (example)
evidence	I	0..*	BackboneElement	Supporting evidence con-2: evidence SHALL have code or details
id		0..1	string	Unique id for inter-element referencing
extension	I	0..*	Extension	Additional content defined by implementations
modifierExtension	?!ΣI	0..*	Extension	Extensions that cannot be ignored even if unrecognized
code	ΣI	0..*	CodeableConcept	Manifestation/symptom Binding: ManifestationAndSymptomCodes (example)
detail	ΣI	0..*	Reference(Resource)	Supporting information found elsewhere
note	I	0..*	Annotation	Additional information about the Condition
Documentation for this format

Other representations of profile: Schematron

Terminology Bindings

Path	Conformance	ValueSet
Condition.language	preferred	CommonLanguages Max Binding: AllLanguages
Condition.clinicalStatus	required	ConditionClinicalStatusCodes
Condition.verificationStatus	required	ConditionVerificationStatus
Condition.category	extensible	ProblemTypeUvIps
Condition.severity	preferred	ProblemSeverityUvIps
Condition.code	example	Condition/Problem/DiagnosisCodes
Condition.code:problemGPSCode	required	CoreProblemListFindingSituationEventGpsUvIps
Condition.code:absentOrUnknownProblem	required	NoProbsInfoUvIps
Condition.bodySite	example	SNOMEDCTBodyStructures
Condition.subject.type	extensible	ResourceType
Condition.stage.summary	example	ConditionStage
Condition.stage.type	example	ConditionStageType
Condition.evidence.code	example	ManifestationAndSymptomCodes

Constraints

Id	Path	Details	Requirements
con-3	Condition	Condition.clinicalStatus SHALL be present if verificationStatus is not entered-in-error and category is problem-list-item : clinicalStatus.exists() or verificationStatus.coding.where(system='http://terminology.hl7.org/CodeSystem/condition-ver-status' and code = 'entered-in-error').exists() or category.select($this='problem-list-item').empty()
con-4	Condition	If condition is abated, then clinicalStatus must be either inactive, resolved, or remission : abatement.empty() or clinicalStatus.coding.where(system='http://terminology.hl7.org/CodeSystem/condition-clinical' and (code='resolved' or code='remission' or code='inactive')).exists()
con-5	Condition	Condition.clinicalStatus SHALL NOT be present if verification Status is entered-in-error : verificationStatus.coding.where(system='http://terminology.hl7.org/CodeSystem/condition-ver-status' and code='entered-in-error').empty() or clinicalStatus.empty()
dom-2	Condition	If the resource is contained in another resource, it SHALL NOT contain nested Resources : contained.contained.empty()
dom-3	Condition	If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource : contained.where((('#'+id in (%resource.descendants().reference \| %resource.descendants().as(canonical) \| %resource.descendants().as(uri) \| %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4	Condition	If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated : contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5	Condition	If a resource is contained in another resource, it SHALL NOT have a security label : contained.meta.security.empty()
dom-6	Condition	A resource should have narrative for robust management : text.`div`.exists()
ele-1	Condition.meta	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.implicitRules	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.language	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.text	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Condition.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Condition.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Condition.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Condition.identifier	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.clinicalStatus	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.verificationStatus	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.category	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.severity	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.code	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.code:problemGPSCode	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.code:absentOrUnknownProblem	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.bodySite	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.subject	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.subject.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Condition.subject.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Condition.subject.reference	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.subject.type	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.subject.identifier	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.subject.display	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.encounter	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.onset[x]	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.onset[x]:onsetDateTime	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.onset[x]:onsetPeriod	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.abatement[x]	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.abatement[x]:abatementDateTime	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.abatement[x]:abatementPeriod	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.recordedDate	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.recorder	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.asserter	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
con-1	Condition.stage	Stage SHALL have summary or assessment : summary.exists() or assessment.exists()
ele-1	Condition.stage	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.stage.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Condition.stage.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Condition.stage.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Condition.stage.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Condition.stage.summary	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.stage.assessment	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.stage.type	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
con-2	Condition.evidence	evidence SHALL have code or details : code.exists() or detail.exists()
ele-1	Condition.evidence	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.evidence.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Condition.evidence.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Condition.evidence.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Condition.evidence.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Condition.evidence.code	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.evidence.detail	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Condition.note	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())

IG © 2020+ Health Level Seven International - Patient Care Work Group. Package hl7.fhir.uv.ips#1.0.0 based on FHIR 4.0.1. Generated 2020-05-19
Links: Table of Contents | QA Report | Search | Version History external | | Propose a change