Comparing constructive arithmetical theories based on NP-PIND and coNP-PIND