Basic initial work on inequalities.
Merge remote-tracking branch 'remotes/origin/inequalities'
Code tidy.
Code tidy.