The nutcracker and the mouse king