Redirecting to Noncommutative logic