first example now works