This is an early draft of the formulations section of the paper