A/B/B/A:-A