For in hope we have been saved, but hope that is seen is not hope; for who hopes for what he already sees?