minor
background up through P and NP
more background