Procathedral definitions