Given. At least it works.