Good point, that's a good question for the proof house!
WC-