See elsewhere for examples.