DATALOG2 Monstrosity added