Analyzing Systems