factor out proxy bits
factor out proxy bits

ngzax/urbit,ngzax/urbit,ngzax/urbit,ngzax/urbit,urbit/urbit,ngzax/urbit,ngzax/urbit,urbit/urbit,urbit/urbit,urbit/urbit,urbit/urbit,ngzax/urbit,urbit/urbit,urbit/urbit