A student writes a set of tags to a file with json.dump({"tags": {"a", "b"}}, f). What happens?