@peterbe yep. Is there some idiom to make this clearer, that I am not aware of?