difference with yours being that the supertype need not declare anything