further expansion of All Statements