(not what happened here: it's an existence proof)