BORA Abstraction