6.2.5 Equivalent States; Implementation
youtube.com