Giang family editedGiang proof