Basic Logic ABA