Fixes #(Verify that a model is valid)