Compactness Argument Protocol for Structured Analytical Execution | Compactness Argument | Mathematics | NEROS