[ianferrel]

Thanks! That is not an obvious conversion from natural language to math to me, but it does seem like the one they must be using.