Marius Binner comments on Arguments for P