A-logic facator