A[] (heartsim4Detail5.Flatline imply (wasSwitchedOff == 1))