title: What does it mean that statement S immediately contains statement U?
body: <p>From <a href="http://docs.oracle.com/javase/specs/jls/se7/html/jls-14.html" rel="nofollow">Java Language Specification, Chapter 14, Blocks and Statements</a>:</p>
  
  <blockquote>
    <p>The sequence of execution of a program is controlled by statements, which are
    executed for their effect and do not have values.</p>
    
    <p>Some statements contain other statements as part of their structure; such other
    statements are substatements of the statement. We say that statement S immediately
    contains statement U if there is no statement T different from S and U such that
    S contains T and T contains U. In the same manner, some statements contain
    expressions as part of their structure.</p>
  </blockquote>
  
  <p>What does it mean that statement S immediately contains statement U if there is no statement T different from S and U such that S contains T and T contains U.?</p>