some experimental rewrites and specializations