[Souffle-3]