Designing AI Systems that Obey Our Laws and Values