Simplified a bit the first example.