Table 4: Controllers for Example 4.