OVERmind comments on Arguments for P