I wish more people used asserts like that. Such a wonderful tool for documentation. It complements the type system and testing really well.