Redirecting to Tacit assumption