Holy logic