@implSpec comments, by contrast, describe the contract between a method and its subclass, allowing subclasses to rely on implementation behavior if they inherit the method or call it via super.
As per the earlier piece of advise that any subclass-able thing needs to be documented
