A One Auto Logics