I hate the threefold repetition rule