Title: The Design of Safe Machines