First example runs properly