Update proposal, add references.