What is a Tool? — AI Alignment Forum