Sophisticated Logic