Reasoning about consequences