public bool valid_item_name() { return And(()=> (In('a','z', 'A','Z')||OneOf("_")) && OptRepeat(()=> (In('a','z', 'A','Z', '0','9')||OneOf("_")) ) ); }