Hollow (High Extended Version)