The robot library, redone correctly.