At least we can do many things we could not do before, in spite of not being able to prove anything.