Revert "Part 7.3"

This reverts commit 0d436d4f751d1f04d2c701fdfd8a864dc3585309.