Combining magic with logic