Robot Theory