Decision procedures for equality logic with uninterpreted functions by O. Tveretina

 
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.'); });