Inside Logic