Ana logic argument