"The European Single Market, Internal Market or Common Market is a single market which seeks to guarantee the free movement of goods, capital, services, and labour – the "four freedoms" – within the European Union (EU)."

That labour thing is unrestricted migration. I'm 100% sure that migration is the red line.

So... Yeah! May is proposing to leave EU Single Market.