Add explicit formula requiremnts