much saner execution. rename project ξ → ζ₁