AUBE (
Aube (Extended Version)