Added an example for an `until` construct