Document your code invariants with Kernel#assert