C317. The theorem of corroboration and undermining, and popper's demarcation rule