We prove some recent conjectures of Khovanov-Lauda concerning the
categorification of one-half of the quantum group associated with a simply
laced Cartan datum.