Persisting implications to database.