first 3 koans in assert.py