Statements true in L