As this is a very important assumption about the input, maybe move this up.