Maybe give the shortened example?