some rewrites for easier examples