Reasoning After Revelation