TEH GREP | Science | Computer scientists publish 84-page proof of 'one for you, one for me' mechanism