Further analysis of main statements