Redirecting to Assignment (mathematical logic)