Explicit formula version reqreuiments