Bare bevisbare systemer vil overleve.