Logical AI software creation engine to develop software with supreme reasoning capabilities and guaranteed AI safety.