Improve the documentation of the assumptions usage scenarios.