Also the model in question is Polish o(-(