Why isn't this a universal property?