Davidson och Fränkel ha naturligtvisall