Tractability, Testability, and Joyful Work | AMiner