finished first attempt at z3 policy routing