Si se supone que una teoría "T" implica una consecuencia observacional "O":