Yes. That's what I meant. That was my feeling too, but I know myself too well than to place any bets on what is provable or not constructively unless I work it

Yes. That's what I meant. That was my feeling too, but I know myself too well than to place any bets on what is provable or not constructively unless I work it out. :)