some more rewrites and explanations