[nigamanth]

GIVEN X and Y SHOULD Z works, but don't you think that it lowers the meaning of the statement; essentially you're putting Y SHOULD Z in a conditional? Y SHOULD Z would work better, right?

[zoover2020]

We do exactly this for the happy paths. GIVEN steps are for preconditions to get into the unhappy paths