changed theorem statement to break up into things we have and things we don't have