Haiku comments on Arguments for P