made the example more nontrivial