ABBA | theorem-style