At the core of our approach is a binarization algorithm that can be adapted to a new formalism by changing a parameter at runtime.
it only needs to be implemented once, and can then be reused for a variety of formalisms.