Following yesterday’s Fireside Chat at the University of Glasgow, Apple CEO Tim Cook reportedly met with UK Prime Minister Teresa May at her home at 10 Downing Street. A tweet from James Cook of Business Insider UK noted Cook’s appearance at the Prime Minister’s residence and later published a statement from a government spokesperson about the meeting.

According to the statement, Cook and May had a “positive and useful discussion” concerning Apple’s recent announcements about its investment in the U.K., the importance of government and business on developing digital skills, and May’s plans to negotiate the U.K.‘s exit from the EU.