ok so this proves what