Some stuff about range/reverse function
More assertions and guard example
Moved
Diagrammed assertions