sorry, can't resist - what about
void foo() implements {
...
}
i.e. the contract of the method is so mechanically dependent on core
methods, it can be expressed in code. The method implements the
contract that is expressed in this block of code.