Not all the constants have been "picked by theorems".