Vi veta således hvadsom