Implement assert_exists