 Many particular instances of the principle are nevertheless provable there as well.
<clarity>  Many particular instances of the principle are nevertheless provable there as well.
 Many particular instances of the principle are nevertheless provable in a constructive context as well.