A proof-checked verification of a real-time communication protocol by I. Polak

 
domReadyCallbacks.push( function() { new Error('Sorry, you can only do this when you're logged in. If you're not a member yet, please join us.'); });