Start giving names to theorems