Answers to theoretical questions about the place of input in a formal second language acquisition model are dependent on a distinction between two kinds of learner hypotheses. Type-N hypotheses require "negative evidence" for testing, while Type-P hypotheses are tested on the basis of "positive data" alone. (Author/CB)