Otter 3.3 Examples