[Souffle-4]