UML23 — Difference between OCL and text in constraint [2] of 15.3.15

Constraint [2] in 15.3.15 says:

[2] A transition with kind external can source any vertex except entry points.
context Transition inv:
source.oclIsKindOf(Pseudostate) and source.oclAsType(Pseudostate).kind = PseudostateKind::entryPoint implies kind = TransitionKind::local)

• Is the text and OCL saying that same thing? I think the text is saying "A implies not B", while the OCL is saying "B implies C", where:

A : kind = TransitionKind::external
B : source.oclIsKindOf(Pseudostate) and source.oclAsType(Pseudostate).kind = PseudostateKind::entryPoint
C: kind = TransitionKind::local (this is not the oppsite of "A" as there is a third kind of transition "internal")

This constraint should be fixed to match the text.