Nice! This kind of contract check can save you days of debugging. Days.