s Lemma shows our model can be used to construct a broad range of 3