astronomical verification methods