Assertions

Basic concepts...