ABIF Being Logical