Document 01 Local Choice Functions