Just a reminder that the mini-polymath4 project will begin in three hours at Thu July 12 2012 UTC 22:00.