Bug fix for migrations
Add explanations of Trigger Algebra.