Finishing property graph section
finished degree operators
minor edits