Simplify first example