added ApJ proof