No need for `public` here - all fields in an interface are public by definition?