The Map to Logic