Vi veta alltså ,att