Starts feeling like a philosophical problem as much as a computational one