Prepositions: improved under/over using dot product.
Fixed embodiment description: no longer describes self twice.
Fixed dot product calc for over/under.
Some minor refactoring.