Question about FSMetar