We are no closer to p/np proof