And it doesn't modify the store so the store is unchanged because it doesn't do any updates obviously And there's a corresponding rule for false And integers are very, very similar so if a integer expression, integer literal i will evaluate to, and integer object with the value i and again the store is not modified by such evaluation. 