In 1976, contemporaneously with Woodson and Roberts, the Court decided Gregg v.  What is decided at the second proceeding