Revert "12-30 ex13"

This reverts commit a62d6da6ae6f1575d89302138521e27dec7b588d.