oeq-ed-FiveCorePropositions ^