With What Must Each Formula Start