Redirecting to Atomic formula