In-class work: Forward Substitution