Boever2 -- SoACS 2019 (1)