fixed behavior on solved nodes
fixed position of lonely node
added theorems from Software Foundations chapter 1
changed node widths
remove non-working theorems
bug in printing node names
cosmetic changes