Moved all Z3 components to epagoge