Move necessary given! into the only scenario