Yeah. Maybe something emphasizing the difference between "getting" L_i (i.e., validate) and reading it (get_state). -d On Mar 3, 2011, at 11:20 AM, Joshua Hursey wrote: > So I think this is fine. Since it is a bit awkward, we should have a brief 'rationale' talking about why we went with this semantic.