a fi logic