Revert 66aec01..3c21856

This rolls back to commit 66aec01b0cf11f563cf1c755eccd4e7af5073320.
Pure Implementation 3: Mark