arrow-analysis-laws