agheieff comments on Arguments for P