Proving new things.