Refactor assert_existance