Fix spacing, motivate new operators
Add details of the logic