Procatalectic definitions