[Tutorial:] Will Metaculus have over one thousand users signed up by May 1, 2016.