Online Reasoning