A user dismisses the idea that Astra will prove P = NP · Digg