Before merge
WIP computing the abstraction