Ah... is this just the difference between a constructive and non-constructive proof? Is that the distinction you're making?