[ Church's Magic ]