Add the following slices to the ExplanationOfBenefit davinci-pct-aeob profile on adjudication and item.adjudication, cardinality 0..1 and MS.  submitted 0..1 MS with adjudication.category = http://terminology.hl7.org/CodeSystem/adjudication |submitted Add Short Description: Provider submitted amount memberliability 0..1 MS with adjudication.category = http://hl7.org/fhir/us/davinci-pct/CodeSystem/PCTAdjudicationCategoryType |memberliability Add Short Description: Member liability Add Comment: $0 is an acceptable value.  eligible 0..1 MS with adjudication.category = http://terminology.hl7.org/CodeSystem/adjudication |eligible  Add Short Description: Eligible amount Add Comment: Eligible is similar to allowed amount. Eligible amount and Benefit amount may be different or the same, but if they are different the payer can supply both for the full picture of the estimate.  benefit 0..1 MS with adjudication.category = http://terminology.hl7.org/CodeSystem/adjudication |benefit Add Short Description: Benefit Amount Add Comment: Eligible is similar to allowed amount. Eligible amount and Benefit amount may be different or the same, but if they are different the payer can supply both for the full picture of the estimate.   Add invariant requiring submitted in adjudication.category in either the header or line level Add invariant requiring memberliability in adjudication.category in either the header or line level   No need for paidbypatient - For estimates before a service this would always be $0 and the co-pay or collection at time of service would be reflected in those respective fields.