Dessa äro , som vi veta,