fixed terminology and tabs
done writing about deadlock
finished writing about PCP