ABBA Express Proofs - lukeh