Tools for Tosafos