Falsifiability, auxiliary assumptions, historical inference, methodological naturalism, and the historical versus observational science distinction.