the wobbly cat (SHAKEY)