∆-BERTRAND RUSSELL, does not prove TIME.