Thanks for the heads up - we should have specified this constraint about p and q.
Reply on news.ycombinator.com