Logic god