Implement phases 5 (vacuously) and 6.