public is redundant on interfaces