(j3.2006) Do we care that we say this twice?

[Van Snyder]

C553 [09-007:99:2] says "An entity with the SAVE attribute shall be a
common block, variable or procedure pointer."

C539 [09-007:95:9] says "An entity with the INTENT attribute shall be a
dummy data object or a dummy procedure pointer."

C1218 [09-007:291:24-25] says "If a procedure entity has the INTENT or
SAVE attribute, it shall also have the POINTER attribute."

So C1218 duplicates C553 and C539.  Do we want to say this twice?

BTW, C539 has a link to the definition of "dummy data object" in
1.3.45.1, but there is no link to a definition of "dummy procedure
pointer," because there isn't one.  Do we need one?  Maybe "1.3.88.2
<<dummy procedure pointer>> dummy procedure that has the POINTER
attribute" or "... procedure pointer (1.3.84.2) that is a dummy
argument."