HAVE HOPE (Extended Version)

HAVE HOPE (Extended Version)