clean up a let binding

No real reason to bind (partial >= t) to a name. Unnecessary clutter.