started making rewrites exist, added sample equation