[Pending: see Examples]