and proved by cases