habryka comments on Arguments for P