reformatted, removed labels, removed comments