Proved some small things.