Satisfying Machine and Ingenious Tools 1