Logic one
Redirect to:
Boolean-valued function