How are we allowed a 4th substitution?