Comment by riffraff

I think grandparent refers to what appears to be gratuitous verbosity, i.e.

    procedure Foo is
    begin
    ...
    end Foo;
    

vs java

    void foo() {
    ...
    }

Even if one wanted to be explicit about indicating what "End" refers too this could have been

   proc Foo
   ...
   end Foo

EDIT: when I write "appears" I mean "there may be a perfectly good reason for it but isn't obvious", not that it is in fact gratuitous.