Designing AI systems that obey our laws and values | Synapse