What could a policy banning AGI look like? — LessWrong