Wellformedness for GChoice