Don't need `public` in an interface?