New implementation of Demagog