Reasoning Infrastructure