A full logic proof of concept for Mac and Windows operating systems released for private viewing and interaction.