Symbol: ShouldFault