got optimistic about mirrored_repeat...