Calovi: abstractions
Calovi: just white