Tools for thought should give the user agency