What is a definition, how can it be extrapolated? — AI Alignment Forum