n.b. This doesn't exactly adhere to the "one assertion per example" principle. Examples should be reorganised at a later point in time.