"""Tools for interacting with the user."""