Fixes typo: strict to weak inequality.
First attempt at diagram.