Make get_definition() and get_model() work, and can convert back and forth