More efficient ABBA dependency logic