Title: Solving Religion with Logic