Vi veta redan , att de ejhafva