New: proves