First example simplified