Some asserts & explanatory comments