Assert(x==0): YOU WON'T BELIEVE x IS ACTUALLY 0

  x<y: x GETS OWNED BY y

  Define a struct/record:

  2 THINGS YOU DON'T KNOW ABOUT A rectangle
    base
    height