Springer Laws of Robots