4.1 Statement Properties