before giving back to HKUST