Quote by Martin Davis