وَأَقْسَامُ الْبَدَلِ أَرْبَعَةٌ:
Translation: The types of badal are four.
The four kinds are whole-for-whole, part-for-whole, inclusion/association, and slip-of-the-tongue correction. All are followers but differ in the relation to their antecedent.